and constructive

Results: 779



#Item
401T1 / Computing / Programming language theory / ALGOL 68 / Software engineering

Snapshot Generation in a Constructive Object-Oriented Modeling Language Mauro Ferrari1 , Camillo Fiorentini2, Alberto Momigliano2, and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2008-01-14 10:30:30
402Interpretation / Model theory / Philosophy of language / Philosophy of mind / Semantics / Diagram / Foreach loop / FO / Constructivism / Mathematics / Computing / Logic

Snapshots Generation via Constructive Logic Mario Ornaghi, Camillo Fiorentini and Alberto Momigliano Universit`a degli Studi di Milano {ornaghi,fiorenti,momiglia}@dsi.unimi.it 1

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-07-12 12:06:13
403Computability theory / Programming language theory / Function / Lambda calculus / ALGOL 68 / Independence / Mathematics / Computing / Functions and mappings

Constructive Specifications for Compositional Units Kung-Kiu Lau1 , Alberto Momigliano2 , and Mario Ornaghi2 1 School of Computer Science, The University of Manchester, Manchester M13 9PL, United Kingdom

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-05-12 12:03:48
404Ethology / Simulation / Scientific modelling / Medical simulation / Live /  virtual /  and constructive / Agent-based model / Science / Knowledge / Operations research

PDF Document

Add to Reading List

Source URL: media.wiley.com

Language: English - Date: 2013-08-28 16:19:42
405Social philosophy / Swisspeace / Peace / Peacebuilding

swisspeace services for companies Principles of constructive engagement The Business and Peace program (B&P) contributes to a better understanding of how companies can implement conflict sensitive business practices in

Add to Reading List

Source URL: www.swisspeace.ch

Language: English - Date: 2014-05-26 03:27:24
406Carbon tax / Emissions trading / American Clean Energy and Security Act / Carbon capture and storage / Low-carbon economy / Climate change mitigation / Carbon offset / Environment / Climate change policy / Climate change

Committee For A Constructive Tomorrow • 1875 Eye Street NW • 5th Floor • Washington, DC[removed]Justice through Affordable Energy for Wisconsin  Alleged threats of global warming disaster must not hobble justice an

Add to Reading List

Source URL: www.cfact.org

Language: English - Date: 2012-10-14 22:33:12
407Climate change policy / Intergovernmental Panel on Climate Change / Earth / Carbon finance / Copenhagen Accord / IPCC Fourth Assessment Report / Global warming / United Nations Climate Change Conference / Clean Development Mechanism / United Nations Framework Convention on Climate Change / Climate change / Environment

Committee For A Constructive Tomorrow • 1875 Eye Street NW • 5th Floor • Washington, DC[removed]The Science and Global Politics of Climate Change A Special Report for Heads of State and Government, Cabinet Officials

Add to Reading List

Source URL: www.cfact.org

Language: English - Date: 2012-10-14 22:35:36
408Climate change policy / Intergovernmental Panel on Climate Change / Earth / Carbon finance / Copenhagen Accord / IPCC Fourth Assessment Report / Global warming / United Nations Climate Change Conference / Clean Development Mechanism / United Nations Framework Convention on Climate Change / Climate change / Environment

Committee For A Constructive Tomorrow • 1875 Eye Street NW • 5th Floor • Washington, DC[removed]The Science and Global Politics of Climate Change A Special Report for Heads of State and Government, Cabinet Officials

Add to Reading List

Source URL: cfact.org

Language: English - Date: 2012-10-14 22:35:36
409Holodeck / Live /  virtual /  and constructive / Visual arts / Simulation / Telepresence / Immersion / Virtual world / Virtual reality / Digital media / Terminology

Virtual Immersive Portable Environment (VIPE) Holodeck™

Add to Reading List

Source URL: www.northropgrumman.com

Language: English - Date: 2014-10-23 16:01:17
410DAI / Law / Management / Case law / Labour law / Termination of employment / Constructive dismissal

HR Weekly Podcast December 3, 2014 Today is December 3, 2014, and welcome to the HR Weekly Podcast from the State Human Resources Division. This week’s podcast deals with a recent case decided by the United States Four

Add to Reading List

Source URL: www.jobs.sc.gov

Language: English - Date: 2014-12-03 14:10:52
UPDATE